Archaeological Survey of Bandera City Park, Bandera County, Texas

Abstracts from the Annual Conference on Aging, Mayan Ranch, Texas Hill Country, Bandera, Texas, USA, 2013

The San Antonio Nathan Shock Center Conferences have attracted international speakers and participants since 1995. This annual conference, held in Bandera, Texas, addresses a different topic in the biology of aging each year. The venue's intimate setting, relatively remote location and common areas are ideal for a small conference (80Á100 participants) where informal intellectual interchange su...

An archaeological survey of Whitireia Park, Porirua

5

Using the Bandera Tool Set to Model - checkProperties of Concurrent Java

The Bandera Tool Set is an integrated collection of program analysis, transformation, and visualization components designed to facilitate experimentation with model-checking Java source code. Bandera takes as input Java source code and a software requirement formalized in Bandera's temporal speciication language, and it generates a program model and speciication in the input language of one of ...

Geophysical Survey at archaeological site Kaszaper, Békés County, Hungary

Hays County, Texas

The widespread Berberis trifoliolata is sympatric with the narrowly restricted B. swaseyi in central Texas, where apparent intermediates occur. A detailed field study of sympatric populations in northern Hays Co. during 2004 to 2007 clarifies the morphological and phenological differences between the two species and shows that intermediates almost surely arose from hybridization. Limited eviden...